Hyper-Specific Sub-Field: **Fuzzing for IoT Firmware Reverse Engineering**
dev.to·2h·
Discuss: DEV
🧪Binary Fuzzing
How to Debug Chez Scheme Programs (2002)
scheme.com·6h·
Discuss: Hacker News
📜Proof Carrying Code
Greyscale-box test-driven development
blog.ploeh.dk·9h
🧪Property-Based Testing
Rowhammer: TRR on DDR5 DRAM has been broken
comsec.ethz.ch·11h·
Discuss: Hacker News, r/hardware
🔍RISC-V Forensics
Check Point Named a Leader in the 2025 IDC MarketScape Report for Worldwide Enterprise Hybrid Firewalls.
blog.checkpoint.com·14h
👁️Observatory Systems
What is Algebraic about Algebraic Effects?
interjectedfuture.com·11h
✨Algebraic Effects
Building an IoT Product – The Product(ion) Feedback Loop (2021)
medium.com·11h·
Discuss: Hacker News
⚙️DIY Electronics
Ready for Tahoe: SoftRAID 8.6 Brings Smarter Drive Health and Seamless macOS 26 Support
eshop.macsales.com·7h
🔌Operating system internals
AIDA64 Extreme 8 debuts with native 64-bit support, smarter display handling
techspot.com·6h
👁️System Observability
Back from Open Source Summit Europe 2025: talks from Bootlin
bootlin.com·18h
⚙️Operating System Design
The 12-Month Bug: Why Your Side Project Is Still Just an Idea
zakelfassi.com·9h·
Discuss: Hacker News
🔍Concolic Testing
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·1d
🎯Performance Proofs
SEC Consult SA-20250911-0 :: Unauthenticated SQL Injection Vulnerability in Shibboleth Service Provider (SP) (ODBC interface)
seclists.org·1h
✅Format Verification
Microservices vs Monolith: A Complete Architecture Guide for Modern Software Development
blog.devops.dev·13h
🖥️Self-hosted Infrastructure
Building Resilient IT Infrastructure From the Start
darkreading.com·14h
🔐Capability Systems
Researchers find a way to address the problem of AI forgetting how to behave safely
techradar.com·5h
🔓Hacking
Haiku Activity & Contract Report, August 2025
haiku-os.org·3h
🔄Sync Engine
How To Build Agentic AI That Ships
thenewstack.io·14h
⚡Incremental Computation
GuitarPie: Electric Guitar Fretboard Pie Menus
andreasfender.com·13h·
Discuss: Hacker News
📟Terminal Physics
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·13h·
Discuss: www.blogger.com
🔗Lisp